function injectJs(code) {
	var src = document.createElement("script");
	src.type = "text/javascript";
	src.text = code;
	document.body.appendChild(src);
}
